理由 based の論理 (RBL)

reason-based logic

はじめに

1. 法的ルールにおける「⇒」の論理學的な解釋可能性

1. 對象言語レベルにおける含意關係

2. メタ言語レベルにおける推論關係

3. 對象言語レベルにおける函數關係

2. ハーヘの「理由ベースの論理 (RBL)」の槪要

1. 事態・文・項

2. 法的ルール

3. 寄與的理由と決定的理由

4. 法的ルールの適用と適用可能性

5. 單純な法的推論の例

6. ルールの優先關係

7. 非單調性と論駁可能性

3. 「理由ベースの論理（RBL）」に対する評價

1. サルトルの基準による評價

2. プラッケンの基準による評價

おはりに

Jaap Hage (J.C.), Reasoning with Rules, An Essay on Legal Reasoning and Its Underlying Logic, 1997

法的含意は項を構成し文を構成しない、故に眞理値を持たない

理由

決定的理由 (decisive reasons)$ {\rm Dr}(^*s,^*a): 項$ ^*sは項$ ^*aの決定的理由である

寄與的理由 (contributive reasons)$ {\rm Cr}(^*s,^*a): 項$ ^*sは項$ ^*aの寄與的理由である

寄與的贊成理由$ r^+(^*a):=\{^*s|{\rm Cr}(^*s,^*a){\rm~is~true})\}

寄與的反對理由$ r^-(^*a):=\{^*s|{\rm Cr}(^*s,\neg^*a){\rm~is~true})\}

比較衡量知識$ >

凌駕 (outweight) により或る事態$ sが成立すると結論する文

$ \forall^*s(((r^+(^*s)>r^-(^*s))\land\neg\exist^*x({\rm Dr}(^*x,^*\neg s)))\to 成立(^*s))

$ \forall^*s(((r^-(^*s)>r^+(^*s))\land\neg\exist^*x({\rm Dr}(^*x,^*s)))\to 成立(\neg^*s))